a^x derivative from first principles